Model transformations are everywhere in software development, implicitly or explicitly.
They have been described in 2003 as ``the heart and soul of Model-Driven Development (\MDD)''~\cite{Sendall2003}.
It is generally accepted that \MDD is a very promising means for raising the level of abstraction of current software development techniques, while making it more reliable, efficient, safe, and cost effective.
Model transformations became first-class citizens with the advent of \MDD.
Later, in 2005, several experts have identified the verification of model transformations as one of the grand challenges of \MDD~\cite{Mens05ataxonomy}.
Despite some recent activity in the field, the work on the verification of model transformations remains scattered and a clear perspective on the subject is still not in sight. Furthermore, current model transformation tools most often lack verification techniques to support such activities.

The Third International Workshop on the Verification Of modeL Transformation (\VOLT 2014) is one of the most accurate venue to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations.
\VOLT 2014 promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with \STAF.

\textbf{Keywords}: Model Transformations; Verification; Model Transformation Properties
